group axioms

群公理